121. Frontiers of combining systems : 5th International Workshop, FroCoS 2005, Vienna, Austria, September 19-21, 2005 : proceedings
Author: Bernhard Gramlich )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
3717
122. Frontiers of combining systems : third International Workshop, FroCoS 2000, Nancy, France, March 22-24, 2000 : proceedings
Author: Helene Kirchner, Christophe Ringeissen, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Computer science
Classification :
QA
76
.
L28
Vol
.
1794
123. Godel'96: logical foundations of mathematics, computer science, and physics-- Kurt Godel's Legacy
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics-- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
.
G6
1996a
124. Godel'96 : logical foundations of mathematics, computer science and physics-Kurt Godel's Legacy, Bruno]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Logic, Symbolic and mathematical,Congresses ، Mathematics -- Philosophy,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1L44
Vol
.
6
125. Godel '96: logical foundations of mathematics, computer science, and physics-kurt Godel's legacy: Bruno ]sic[, Czech Republic, August 1996, proceedings
Author: Petr Hajek )ed.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Congresses ، Logic, Symbolic and mathematical,Philosophy - Congresses ، Mathematics,Congresses ، Computer science,Congresses ، Mathematical physics
Classification :
QA
9
.
A1
G6
1996
126. Grammatical inference
Author: / Josae M. Sempere, Pedro Garcaia (eds.
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA267
.
3
.
I55
2010
127. Grammatical inference : Learning syntax from sentences : Third International Colloquium, ICGI-96 Montpellier, France, September 25-27, 1996 : proceedings
Author: Laurent Miclet, Colin de la Higuera )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1147
128. Grammatical inference : algorithms and applications : 7th International Colloquium, ICGI 2004, Athens, Greece, October 11-13, 2004 : proceedings
Author: Georgios Paliouras, Yasubumi Sakakibara )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
3264
129. Grammatical inference : algorithms and applications : 5th International Colloquium, ICGI 2000, Lisbon, Portugal, September 11-13, 2000 : proceedings
Author: Arlindo L. Oliveira )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1891
130. Grammatical inference : algorithms and applications : 8th International Colloquium, ICGI 2006, Tokyo, Japan, September 20-22, 2006 : proceedings
Author: Yasubumi Sakakibara....]et al.[ )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4201
131. Grammatical inference : algorithms and applications : 6th international colloquium, ICGI 2002, Amsterdam, The Netherlands, September 23-25, 2002 : proceedings
Author: Pieter Adriaans, Henning Fernau, Menno van Zaanen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2484
132. Grammatical inference and applications : second International colloquium, ICGI-94, Alicante, Spain, September 21-23, 1994 : proceedings
Author: Rafael C. Carrasco, Jose Oncina, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
862
133. Grammatical inference : 4th International Colloquium, ICGI-98, Ames, Iowa, USA, July 12-14, 1998 : proceedings
Author: Vasant Honavar, Giora Slutzki )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Formal languages,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1433
134. Grammatical inference: theoretical results and application
Author: / ICGI 2010, Valencia, Spain, September 13 - 16, 2010. Josae M. Sempere
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Formal languages, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
E-BOOK
135. Groups, languages, algorithms : AMS-ASL Joint Special Session on Interactions between Logic, Group Theory, and Computer Science, January 16-19, 2003, Baltimore, Maryland
Author: Alexandre V. Borovik, editor
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Group theory,Congresses ، Finite groups,Congresses ، Infinite groups
Classification :
QA
174
.
A418
2003
136. Higher-order algebra, logic, and term rewriting : first International Workshop, HOA'93, Amsterdam, The Netherlands, September 23-24, 1993 : selected papers
Author: Jan Heering...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
816
137. Higher-order algebra, logic, and term rewriting : second International Workshop, HOA'95, Paderborn, Germany, September 21-22, 1995 : selected papers
Author: Gilles Dowek ... ]et al.[, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Rewriting systems )Computer science(,Congresses ، Algebra,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1074
138. Higher order logic theorem proving and its applications : proceedings of the IFIP TC10/WG10.2 International Workshop on Higher Order Logic Theorem Proving and Its Applications--HOL '92
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
I34
1992
139. Includes bibliographical references (p. 49-51). 0,B
Author: Zeren Tanındı. ,/ Katie Normington.
Library: Library of Islamic Parliament (Tehran)
Subject:
140. Intelligent computer mathematics
Author: / Serge Autexier ... [et al] (eds.
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Algebra--Data processing--Congresses,Mathematical analysis--Data processing--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
155
.
7
,.
E4
,
A35
,
2010
